<?php

if ((!empty($_SESSION['mail'])) || isset($_SESSION['mail']) || $_SESSION['mail'] != null) {
    //do nothing
} else {
    // pas de login en session : redirection sur la page accueil
    header('Location: /~meierj/uml/uml/');
}
?>
